Penna, Giuseppe Della: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Qualitative representation of spatio-temporal knowledge

Della Penna, Giuseppe, Orefice, Sergio

Journal:

Journal of Visual Languages & Computing

Year:

2018

Language:

english

File:

PDF, 6.03 MB

english, 2018

2

A type system for static and dynamic checking of C++ pointers

Giuseppe Della Penna

Journal:

Computer Languages, Systems & Structures

Year:

2005

Language:

english

File:

PDF, 617 KB

english, 2005

3

A spatial relation-based framework to perform visual information extraction

Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice

Journal:

Knowledge and Information Systems

Year:

2012

Language:

english

File:

PDF, 1.83 MB

english, 2012

4

[IEEE 2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) - Stockholm, Sweden (2019.6.17-2019.6.19)] 2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) - Feature Selection Strategies for HTTP Botnet Traffic Detection

Letteri, Ivan, Della Penna, Giuseppe, Caianiello, Pasquale

Year:

2019

Language:

english

File:

PDF, 268 KB

english, 2019

5

A general theory of spatial relations to support a graphical tool for visual information extraction

Della Penna, Giuseppe, Magazzeni, Daniele, Orefice, Sergio

Journal:

Journal of Visual Languages & Computing

Year:

2013

Language:

english

File:

PDF, 3.22 MB

english, 2013

6

An XML environment for scenario based requirements engineering

Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice

Journal:

Journal of Systems and Software

Year:

2006

Language:

english

File:

PDF, 2.22 MB

english, 2006

7

Cyclic AMP signalling pathway and cellular proliferation: induction of CREM during liver regeneration

Servillo, Giuseppe, Penna, Lucia, Foulkes, Nicholas S, Magni, Mariapia Viola, Fazia, Maria Agnese Della, Sassone-Corsi, Paolo

Journal:

Year:

1997

Language:

english

File:

PDF, 491 KB

english, 1997

8

[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Disk Based Software Verification via Bounded Model Checking

Brizzolari, Fernando, Melatti, Igor, Tronci, Enrico, Della Penna, Giuseppe

Year:

2007

Language:

english

File:

PDF, 293 KB

english, 2007

9

Interoperability mapping from XML schemas to ER diagrams

Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio

Journal:

Data & Knowledge Engineering

Year:

2006

Language:

english

File:

PDF, 658 KB

english, 2006

10

Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains

Penna, Giuseppe Della, Intrigila, Bedenetto, Magazzeni, Daniele, Mercorio, Fabio

Journal:

International Journal of Artificial Intelligence Tools

Year:

2015

Language:

english

File:

PDF, 963 KB

english, 2015

11

[IEEE Third International Conference on Autonomic and Autonomous Systems (ICAS'07) - Athens, Greece (2007.6.19-2007.6.25)] Third International Conference on Autonomic and Autonomous Systems (ICAS'07) - Automatic Synthesis of Robust Numerical Controllers

Penna, Giuseppe Della, Magazzeni, Daniele, Tofani, Alberto, Intrigila, Benedetto, Melatti, Igor, Tronci, Enrico

Year:

2007

Language:

english

File:

PDF, 190 KB

english, 2007

12

Synchronized Regular Expressions

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 172 KB

english, 2002

13

An XML Definition Language to Support Scenario-Based Requirements Engineering

Della Penna, Giuseppe, Intrigila, Benedetto, Laurenzi, Anna Rita, Orefice, Sergio

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2003

Language:

english

File:

PDF, 236 KB

english, 2003

14

Finite horizon analysis of Markov Chains with the Murϕ verifier

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 599 KB

english, 2006

15

A universal planning system for hybrid domains

Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio

Journal:

Applied Intelligence

Year:

2012

Language:

english

File:

PDF, 1.39 MB

english, 2012

16

An environment for the design and implementation of visual applications

Giuseppe Della Penna, Benedetto Intrigila, Sergio Orefice

Journal:

Journal of Visual Languages & Computing

Year:

2004

Language:

english

File:

PDF, 1.32 MB

english, 2004

17

Visual extraction of information from web pages

Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice

Journal:

Journal of Visual Languages & Computing

Year:

2010

Language:

english

File:

PDF, 672 KB

english, 2010

18

Pericentric inversion of chromosome 19 in three families

Elvira D'Alessandro, Corinna De Matteis Vaccarella, Maria Luisa Re, Francesco Cappa, Angela D'Alfonso, Stefania Discepoli, Maria Rosa Della Penna, Giuseppe Porto

Journal:

Year:

1988

Language:

english

File:

PDF, 224 KB

english, 1988

19

[IEEE 2010 Sixth International Conference on Autonomic and Autonomous Systems (ICAS) - Cancun, Mexico (2010.03.7-2010.03.13)] 2010 Sixth International Conference on Autonomic and Autonomous Systems - Planning for Autonomous Planetary Vehicles

Della Penna, Giuseppe, Intrigila, Benedetto, Magazzeni, Daniele, Mercorio, Fabio

Year:

2010

Language:

english

File:

PDF, 1.71 MB

english, 2010

20

[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Disk Based Software Verification via Bounded Model Checking

Brizzolari, Fernando, Melatti, Igor, Tronci, Enrico, Della Penna, Giuseppe

Year:

2007

Language:

english

File:

PDF, 293 KB

english, 2007

21

Generating graphical applications from state-transition visual specifications

GIUSEPPE DELLA PENNA, BENEDETTO INTRIGILA, SERGIO OREFICE

Journal:

International Journal of Human-Computer Studies

Year:

2001

Language:

english

File:

PDF, 821 KB

english, 2001

22

Effectiveness of golimumab in inducing remission and clinical response in outpatient ulcerative colitis

Tursi, Antonio, Allegretta, Leonardo, Della Valle, Nicola, Hadad, Yusef, Penna, Antonio, Pranzo, Giuseppe, Ricciardelli, Cristina, Paiano, Primaldo, Picchio, Marcello

Journal:

Clinics and Research in Hepatology and Gastroenterology

Year:

2016

Language:

english

File:

PDF, 571 KB

english, 2016

23

SyBeL: A SYSTEM MODELLING LANGUAGE ENHANCING AUTOMATIC SUPPORT IN THE SOFTWARE DEVELOPMENT PROCESS

PENNA, GIUSEPPE DELLA, OREFICE, SERGIO, INTRIGILA, BENEDETTO, MAGAZZENI, DANIELE, SORDO, ROBERTO DEL, CICCOTTI, GIUSEPPE CARDINALE

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2013

Language:

english

File:

PDF, 5.61 MB

english, 2013

24

Metabolically EngineeredRhodobacter sphaeroidesRV strains for Improved Biohydrogen Photoproduction Combined with Disposal of Food Wastes

Elisabetta Franchi, Claudio Tosi, Giuseppe Scolla, Gino Della Penna, Francesco Rodriguez, Paola Maria Pedroni

Journal:

Marine Biotechnology

Year:

2004

Language:

english

File:

PDF, 278 KB

english, 2004

25

Synchronized regular expressions

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli

Journal:

Acta Informatica

Year:

2003

Language:

english

File:

PDF, 279 KB

english, 2003

26

Exploiting transition locality in automatic verification of finite-state concurrent systems

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 1.48 MB

english, 2004

27

CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems

Della Penna, Giuseppe, Intrigila, Benedetto, Magazzeni, Daniele, Melatti, Igor, Tronci, Enrico

Journal:

European Journal of Control

Year:

2013

Language:

english

File:

PDF, 2.32 MB

english, 2013

28

A formal framework to represent spatial knowledge

Della Penna, Giuseppe, Magazzeni, Daniele, Orefice, Sergio

Journal:

Knowledge and Information Systems

Year:

2016

Language:

english

File:

PDF, 2.52 MB

english, 2016

29

Model checking XSL transformations

Della Penna, Giuseppe

Journal:

Computer Languages, Systems & Structures

Year:

2014

Language:

english

File:

PDF, 6.99 MB

english, 2014

30

AN XML BASED METHODOLOGY TO MODEL AND USE SCENARIOS IN THE SOFTWARE DEVELOPMENT PROCESS

DELLA PENNA, GIUSEPPE, LAURENZI, ANNA RITA, OREFICE, SERGIO, INTRIGILA, BENEDETTO

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2008

Language:

english

File:

PDF, 1.57 MB

english, 2008

31

Security in the internet of things: botnet detection in software-defined networks by deep learning techniques

Letteri, Ivan, Penna, Giuseppe Della, Gasperis, Giovanni De

Journal:

International Journal of High Performance Computing and Networking

Year:

2019

File:

PDF, 405 KB

2019

32

Obituary.

Della Penna, Giuseppe

Journal:

Year:

1914

Language:

english

File:

PDF, 173 KB

english, 1914

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски